Types and Programming Languages

Results: 543



#Item
41Type theory / Concurrent programming languages / Object-oriented programming / Polymorphism / Data types / Scala / Covariance and contravariance / Go / Type system / Type inference / Subtyping / Form

Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2016-05-09 14:09:08
42Object-oriented programming languages / Functional languages / Subroutines / Data types / Procedural programming languages / Scheme / Lisp / Anonymous function / Scope / Lambda calculus / Free variables and bound variables / Expression

Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER

Add to Reading List

Source URL: trac.sacrideo.us

Language: English - Date: 2014-04-22 00:19:59
43Object-oriented programming languages / Data types / Technical communication / Cross-platform software / Java / Enumerated type / Application programming interface / D / Pointer / Metadata / Constant / Comparison of C Sharp and Java

ODV API for Java Reiner Schlitzer Version 2.0 March 25, 2015

Add to Reading List

Source URL: odv.awi.de

Language: English - Date: 2015-03-25 13:30:44
44Data types / Subroutines / Recursion / Procedural programming languages / Cross-platform software / Fold / Stack / ALGOL 68 / Pointer / Lua / Go / Record

Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo March 22, 1999 Abstract

Add to Reading List

Source URL: www.olejohandahl.info

Language: English - Date: 2013-09-23 13:44:35
45Object-oriented programming languages / Abstract data types / Data types / Functional programming / Object / Combinatory logic / Objective-C / Associative array / Self / Object-oriented programming / Iterator / First-class function

Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia

Add to Reading List

Source URL: st.inf.tu-dresden.de

Language: English - Date: 2012-09-25 06:20:12
46Data types / Type theory / Functional languages / Functional programming / Procedural programming languages / C++ classes / Recursive data type / ML / Parameter / Type inference / Monad / Enumerated type

CSE341: Programming Languages Winter 2013 Unit 2 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an

Add to Reading List

Source URL: courses.cs.washington.edu

Language: English - Date: 2013-01-12 20:36:27
47Object-oriented programming languages / C++ / Data types / Concurrent programming languages / Objective-C / Method / Constructor / Java / C++ classes / Const / Entry point / C Sharp syntax

Final Review!!! Classes and Objects ● Program Statements (Arithmetic Operations) ● Program Flow

Add to Reading List

Source URL: mason.gmu.edu

Language: English - Date: 2010-08-26 14:57:00
48Functional languages / Object-oriented programming languages / Data types / Parsing / Type theory / F Sharp / Lexical analysis / Type system / OCaml / Anonymous function / Scala / Type inference

The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som

Add to Reading List

Source URL: fsharp.org

Language: English - Date: 2016-08-15 16:34:27
49Character encoding / Data types / Primitive types / Source code / Comparison of programming languages / String / Whitespace character / Character / C / Scanf format string / String literal

String: a Programming Example Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Add to Reading List

Source URL: www.idt.mdh.se

Language: English - Date: 2013-11-21 06:19:23
50Object-oriented programming languages / High-level programming languages / Scripting languages / Python / Data types / Bytecode / D / Internet of things / Pointer / Compiler

MicroPython and the Internet of Things Damien P. George George Robotics Limited, Cambridge, UK GOTO Amsterdam, 15th June 2016

Add to Reading List

Source URL: gotocon.com

Language: English - Date: 2016-06-16 11:08:32
UPDATE